<HTML>
<BODY>
This package provides a layer to perform abstract interpretation over 
the JVM stack machine.
</BODY>
</HTML>
